monotonic decreasing sequence